1. Constraint reasoning for differential models

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Constraints (Artificial intelligence) ; Differential equations. ; Interval analysis (Mathematics) ; Biophysics ; Mathematical models. ;

2. Constraint reasoning for differential models

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics),Biophysics--Mathematical models

3. Constraint reasoning for differential models

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Constraints (Artificial intelligence),Differential equations,Interval analysis (Mathematics),Biophysics- Mathematical models

رده :
Q340
.
C78
2005

4. Constraint reasoning for differential models /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Biophysics-- Mathematical models.,Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics),Biophysics-- Mathematical models.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics)

رده :
Q340
.
C78
2005eb

5. Formal concept analysis

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses

رده :
E-BOOK

6. Formal concept analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses

رده :
QA
،
171
.
5
،.
I55
،
2011

7. Mathematical methods for artificial intelligence and autonomous systems

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)

موضوع : Artificial intelligence-- Mathematics,Artificial intelligence-- Mathematical models

رده :
006
.
3015118
D732m